Potential of a New Technique for Remote Sensing of Hydrocarbon Accumulations and Blind Uranium Deposits: Buried Lif Thermoluminescence Dosimeters

Buried thermoluminescence dosimeters may be useful in remote sensing of petroleum and natural gas accumulations and blind uranium deposits. They act as integrating detectors that smooth out the effects of environmental variations that affect other measuring systems and result in irregularities and poor repeatability in measurements made during gas and radiometric surveys

The impact of beam deconvolution on noise properties in CMB measurements: Application to Planck LFI

We present an analysis of the effects of beam deconvolution on noise properties in CMB measurements. The analysis is built around the artDeco beam deconvolver code. We derive a low-resolution noise covariance matrix that describes the residual noise in deconvolution products, both in harmonic and pixel space. The matrix models the residual correlated noise that remains in time-ordered data after destriping, and the effect of deconvolution on it. To validate the results, we generate noise simulations that mimic the data from the Planck LFI instrument. A $\chi^2$ test for the full 70 GHz covariance in multipole range $\ell=0-50$ yields a mean reduced $\chi^2$ of 1.0037. We compare two destriping options, full and independent destriping, when deconvolving subsets of available data. Full destriping leaves substantially less residual noise, but leaves data sets intercorrelated. We derive also a white noise covariance matrix that provides an approximation of the full noise at high multipoles, and study the properties on high-resolution noise in pixel space through simulations.Comment: 22 pages, 25 figure

Neutrino masses from discrete gauge symmetries

We investigate a model with an extra $Z_{2}$ gauge symmetry in the Standard Model. We assume that only the scalars and the leptons carry non-zero charge. The symmetry gives a structure to the mass matrix for the neutrinos. With two extra Higgs singlets and two extra singlet right-handed neutrinos we can build a model that fits the requirements of the MSW-solution of the Solar neutrino problem. With a third singlet right-handed neutrino it is also possible to have a 10 eV neutrino, a dark matter candidate.Comment: SNUTP 92-105, Late

Phenotypic matching by spot pattern potentially mediates female giraffe social associations

Animal color pattern is a phenotypic trait that may mediate assortative mixing (also known as homophily), whereby similar looking individuals have stronger social associations. Masai giraffe (Giraffa camelopardalis tippelskirchi) coat spot patterns show high variation and some spot traits appear to be heritable. Giraffes also have high visual acuity, which may facilitate intraspecific communication and recognition based on spot patterns. Giraffe groupings are dynamic, merging and splitting throughout the day, but females form long-term associations. We predicted that adult female giraffes show stronger associations with other females that have similar spot pattern traits. We quantified the spot pattern characteristics of 399 adult female Masai giraffes and determined the pattern similarity among pairs (dyads) in their social network. We then tested for an association between coat pattern similarity (spot size, shape, and orientation) and dyadic association strength, and quantified assortative mixing. The strength of social associations was positively correlated with similarity in spot shape. Our results are compatible with assortativity by coat patterns that are similar between mother and offspring, potentially reflecting an effect of relatedness on both pattern similarity and female social associations. These results offer evidence that spot pattern could function as a visual cue for intraspecific communication and kin or individual recognition in a fission-fusion species

Enhancing Cloud-based Servers by GPU/CPU Virtualization Management

[[abstract]]This paper proposes to add the multithreaded Graphic Processing Units (GPUs) to some virtual machines (VMs) in the existing cloud-based VM groups. To handle the multidimensional or multithreaded computing that a CPU cannot process quickly by a GPU that has hundreds of Arithmetic Logic Units (ALUs), and to regulate the time for initiating physical servers by real-time thermal migration, our proposed scheme can enhance the system performance and reduce the energy consumption of long-term computing. Four major techniques in this paper include: (1) GPU virtualization, (2) Hypervisor for GPU, (3) Thermal migration implementation, and (4) Estimation of multithreaded tasks. In no matter quantum mechanics, astronomy, fluid mechanics, or atmospheric simulation and prediction, a GPU suits not only parallel multithreaded computing for its tens of times performance than a CPU, but also multidimensional array operations for its excellent efficiency. Therefore, how to distribute the computing performance of CPUs and GPUs appropriately becomes a significant issue. In general cloud computing applications, it is rarely seen that GPUs can outperform CPUs. Furthermore, for groups of virtual servers, many tasks actually can be completed by CPUs without the support of GPUs. Thus, it is a waste of resources to implement GPUs to all physical servers. For this reason, by integrating with the migration characteristic of VMs, our proposed scheme can estimate whether to compute tasks by physical machines with GPUs or not. In estimating tasks, we use Amdahl’s law to estimate the overall performance include communication delays, Synchronization over head and me possible additional burden.[[conferencetype]]國際[[conferencedate]]20121212~20121214[[iscallforpapers]]Y[[conferencelocation]]Hualien, Taiwa

Actors that Unify Threads and Events

There is an impedance mismatch between message-passing concurrency and virtual machines, such as the JVM. VMs usually map their threads to heavyweight OS processes. Without a lightweight process abstraction, users are often forced to write parts of concurrent applications in an event-driven style which obscures control flow, and increases the burden on the programmer. In this paper we show how thread-based and event-based programming can be unified under a single actor abstraction. Using advanced abstraction mechanisms of the Scala programming language, we implemented our approach on unmodified JVMs. Our programming model integrates well with the threading model of the underlying VM

Sawja: Static Analysis Workshop for Java

Static analysis is a powerful technique for automatic verification of programs but raises major engineering challenges when developing a full-fledged analyzer for a realistic language such as Java. This paper describes the Sawja library: a static analysis framework fully compliant with Java 6 which provides OCaml modules for efficiently manipulating Java bytecode programs. We present the main features of the library, including (i) efficient functional data-structures for representing program with implicit sharing and lazy parsing, (ii) an intermediate stack-less representation, and (iii) fast computation and manipulation of complete programs